f9a8e45c9c79076228e30024319c6fb0eb4213d1,jetty-start/src/main/java/org/eclipse/jetty/start/Main.java,Main,expand,#String#,253

Before Change


            if ("version".equalsIgnoreCase(name))
                property=_version;
            else
                property=System.getProperty(s.substring(i1+2,i2),"");
            s=s.substring(0,i1)+property+s.substring(i2+1);
        }
        return s;

After Change


        while (s!=null)
        {
            i1=s.indexOf("${",i2);
            if (i1<0)
                break;
            i2=s.indexOf("}",i1+2);
            if (i2<0)
                break;
            String name=s.substring(i1+2,i2);
            String property=getProperty(name);
            s=s.substring(0,i1)+property+s.substring(i2+1);
        }